英文缩写：TLA
英文全称：Temporal Logic of Actions
中文释义：行动的时间逻辑
中文拼音：xíng dòng de shí jiān luó jí
所属分类：Computing